compact real Lie algebra

[数] 紧实李代数